University of Nottingham - PDFSEARCH.IO - Document Search Engine

University of Nottingham
Results: 779

#	Item
521	Logical Omniscience and the Cost of Deliberation Natasha Alechina and Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK, Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Mathematical logic Metalogic Formal languages Entailment Well-formed formula Modal logic Function Constructible universe Model theory Logic Logical syntax Propositional calculus
522	Reasoning About Agent Deliberation N. Alechina1 , M. Dastani2 , B.S. Logan1 , J.-J. Ch. Meyer2 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:35:32 3APL Multi-agent systems 2APL Determinacy
523	Verifying time, memory and communication bounds in systems of reasoning agents Natasha Alechina, Brian Logan, Nguyen Hoang Nga and Abdur Rakib∗ School of Computer Science University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Deduction Propositional calculus Mathematical logic Artificial intelligence Logical syntax Epistemic modal logic Reasoning system Entailment Formula Logic Science Mathematics
524	Axiom Pinpointing Using an Assumption-Based Truth Maintenance System Hai Nguyen, Natasha Alechina, and Brian Logan University of Nottingham 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 11:59:12 Semantic Web Ontology Knowledge engineering Information science Reason maintenance Semantic reasoner Reasoner Description logic Axiom Knowledge representation Science Information
525	Resource-bounded belief revision and contraction Natasha Alechina, Mark Jago, and Brian Logan School of Computer Science University of Nottingham Nottingham, UK {nza,mtw,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Logic programming Knowledge representation Belief revision Logic Theory of justification J Software engineering Computer programming Computing
526	Consensus Action Games Julian Zappala, Natasha Alechina, Brian Logan School of Computer Science, University of Nottingham {jxz,nza,bsl}@cs.nott.ac.uk Abstract Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 11:57:26 Motor control Consensus Quorum Computational complexity theory NP Applied mathematics Ethology Mind Action selection Artificial intelligence Cognitive science
527	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:35:36 Modal logic Software engineering Logic Non-classical logic Maude system
528	Possible CS 3rd and 4th Year Projects involving the Cochrane Schizophrenia Database Prof Clive Adams Institute for Mental Health University of Nottingham [removed] Prof David Brailsford School of Compu Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-06-05 14:03:34 Medicine Empiricism Database management systems Evidence-based medicine Meta-analysis Cochrane Library Cochrane Collaboration Database Microsoft Access Systematic review Data management Relational database management systems
529	Axiom Pinpointing Using an Assumption-Based Truth Maintenance System Hai Nguyen, Natasha Alechina, and Brian Logan University of Nottingham 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-05-04 12:17:01 Semantic Web Ontology Knowledge engineering Information science Reason maintenance Semantic reasoner Reasoner Description logic Axiom Knowledge representation Science Information
530	Consensus Games Julian Zappala, Natasha Alechina, and Brian Logan School of Computer Science University of Nottingham Nottingham, NG8 1BB, UK {jxz,nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-05-04 07:52:12 Consensus Core Coalition Problem solving Human behavior Game theory Ethics Cooperative game

UPDATE